#ifndef KC_MSGSIZECOND_H__KC
#define KC_MSGSIZECOND_H__KC

#include "Symbol.h"
#include "Operator.h"

namespace kc_sf
{
	class MsgSizeCond : public Logic::Symbol
	{
		public:
			
			explicit MsgSizeCond( unsigned long size, Operator op = Ge );

			Logic::Symbol *clone() const;

			bool eval( const Message &msg );

		private:

			Operator c_size_operator;
			unsigned long c_size;
	};
}

#endif /* KC_MSGSIZECOND_H__KC */
